Buy Used and New Boudewijn Haverkort Books

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... / Programming and Software Engineering)

by

ISBN 13: 9783540709510

Format: Paperback (363 pages)
Publisher: Springer
Published: 20 Feb 2007

Save for later